$\forall$$p$:(ES\{i\}$\rightarrow\mathbb{P}$\{i'\}), $e$:possible{-}event\{i:l\}($p$). pe{-}state($e$) $\in$ discrete state@loc(pe{-}e($e$))